projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f94e93a) | patch
Speed up Org to Texinfo generation
authorEli Zaretskii <eliz@gnu.org>
Thu, 16 Jun 2022 08:06:29 +0000 (11:06 +0300)
committerEli Zaretskii <eliz@gnu.org>
Thu, 16 Jun 2022 08:06:29 +0000 (11:06 +0300)
commitb3cbcebd9aae16e018e167233cf0c39bfac31198
tree5630e8a4a967ea4f31dd56c19c63cc3008aba4d3tree | snapshot
parentf94e93a6eec92d834a6b545d8d4b68280b0993b0commit | diff
Speed up Org to Texinfo generation

* doc/misc/Makefile.in ($(1:.org=.texi)): Use a higher GC
threshold, to speed up .org=.texi conversion.  Patch by Ihor
Radchenko <yantar92@gmail.com>.
doc/misc/Makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.